@article{broadbentkarvonen:categoricalcryptoextended,
  title={Categorical composable cryptography: extended version}, 
  author={Anne Broadbent and Martti Karvonen},
  year={2023},
  volume={19},
  issue={4},
  pages={30:1-30:46},
  doi={10.46298/LMCS-19(4:30)2023},
  journal = {Logical Methods in Computer Science},
}